Ureolytic Activity of Anaerobic Rumen Fungi, Piromyces sp. OTS 3 and Neocallimastix sp. OTS 4
نویسندگان
چکیده
منابع مشابه
Production of Amylolytic Enzyme by Rumen Fungi, Neocallimastix Sp. K7 and Orpinomyces Sp. K5
Neocallimastix sp. K7 and Orpinomyces sp. K5 were studied for their amylase production capability in starch, maltose, and glucose-containing cultures. The highest level of amylase was produced in 4 and 5 mg ml-1 starch-containing mediums of Orpinomyces sp. K5 and Neocallimastix sp. K7, respectively. Amylase production highly reduced in glucose-grown cultures of Orpinomyces sp. K5, whereas gluco...
متن کاملEffects of amino acids on the growth of an anaerobic rumen fungus Neocallimastix sp N 13.
The amino acid requirements of Neocallimastix sp N 13 isolated from sheep rumen were studied using supplements containing either ten essential amino acids (10 EAA) or eight nonessential amino acids (8 NEAA), or both (18 AA). Although the fungus could grow in a medium containing ammonium sulphate as the sole source of nitrogen, amino acid supplements, especially 18 AA, greatly stimulated its gro...
متن کاملProtective Wrapping of OTS Components
Off-the-shelf (OTS) components are increasingly used in application areas with high dependability requirements. We propose a general approach to developing protective wrappers, in order to integrate OTS items with the rest of the system without reducing the system dependability.
متن کاملOn Automation of OTS/CafeOBJ Method
The proof scores method is an interactive verification method in algebraic specification that combines manual proof planning and reduction (automatic inference by rewriting). The proof score approach to software verification coordinates efficiently human intuition and machine automation. We are interested in applying these ideas to transition systems, more concretely, in developing the so-calle...
متن کاملProof Scores in the OTS/CafeOBJ Method
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several case studies. The way makes it possible to divide a formula stating an invariant property under discussion into reasonably small ones, each of which is proved by writing proof scores individually. This relieves the load ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nihon Chikusan Gakkaiho
سال: 1994
ISSN: 1346-907X,1880-8255
DOI: 10.2508/chikusan.65.950